26

Paramodulation with Built-in AC-Theories and Symbolic Constraints

Année:
1997
Langue:
english
Fichier:
PDF, 666 KB
english, 1997
34

A total AC-compatible ordering based on RPO

Année:
1995
Langue:
english
Fichier:
PDF, 1.02 MB
english, 1995
40

A Fully Syntactic AC-RPO

Année:
2002
Langue:
english
Fichier:
PDF, 198 KB
english, 2002
46

New excitement with crystal-field excitations

Année:
2001
Langue:
english
Fichier:
PDF, 197 KB
english, 2001
49

Paramodulation with Non-Monotonic Orderings and Simplification

Année:
2013
Langue:
english
Fichier:
PDF, 1.02 MB
english, 2013